SynonymX
Speak
Predicate Calculus
Definition of Predicate Calculus
1.
A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Noun
Synonyms for word "predicate calculus"
functional calculus
Semanticaly linked words with "predicate calculus"
formal logic
mathematical logic
symbolic logic
quantification
Hyponims for word "predicate calculus"
formal logic
mathematical logic
symbolic logic